definition of supremum and infimum